PURe

Program Understanding and Re-engineering: Calculi and Applications

Cancel

Search: ^p

Research/PURe Web	Changed	Changed by

PUReCafe	28 Jun 2007 - 11:45 - r82	JoseBacelarAlmeida
As of September 2006, PUReCafe has been continued with a wider scope as the Theory and Formal Methods Seminar. PUReCafe was a weekly scientific colloquium organized ...

PUReCafeTalk1	28 Jun 2007 - 11:42 - r6	JoseBacelarAlmeida
Invitation to Wiki Basic Principles WikiName TextFormattingRules Edit via browser Distributed ownership Successful Wikis ...

PUReEvents	12 Feb 2007 - 19:45 - r10	JoseBacelarAlmeida
Forthcoming Events Date Event Every Thursday PUReCafe 2004.09.30 Project Evaluation Meeting 2004.10.10 Annual Report 2004.10.18 21 ...

PUReNews	16 Feb 2007 - 14:06 - r52	AlcinoCunha
Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau ...

PUReNewsArchive	04 Nov 2007 - 19:18 - r6	JoseBacelarAlmeida
See also recent PURe news. News archive 2006 (until March) March, 25 The lambda coinduction by calculation stuff was presented today in Wien by AlexandraSilva ...

PURePublications	04 Nov 2007 - 19:18 - r54	JoseBacelarAlmeida
Project Publications and Reports Publications (Conference Papers) On the Specification of a Component Repository , Rodrigues, N. and Barbosa, L., FACS'03 (Int ...

PUReSoftware	12 Feb 2007 - 19:42 - r21	JoseBacelarAlmeida
UMinho Haskell Software Libraries Tools The UMinho Haskell Software is a repository of software, written in the functional programming language Haskell, that ...

PointFree	12 Feb 2007 - 19:59 - r3	JoseBacelarAlmeida

ProjectSummary	02 Mar 2009 - 19:23 - r2	LuisSoaresBarbosa
Project Summary In a situation in which the only quality certificate of the running software artifact still is life cycle endurance, customers and software producers ...

PureAnnouncements	12 Feb 2007 - 19:43 - r3	JoseBacelarAlmeida
Announcements Themes Proposed Functional Animation of Reactive Systems (LuisSoaresBarbosa) Coinductive Programming: Calculi and Applications (LuisSoaresBarbosa ...

Found 10 topics.

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM